Dutch style panini/grilled cheese, served with ketchup. When we asked the waiter what type of cheese is "matured cheese", he answered "Old Cheese"..... 😆!