BASTION HOTEL NIJMEGEN ^{* * *}